Formal proof - Inglés Sinónimo Diccionario